Skip to content

CI: Run push workflows only on main and release branches - #2548

Merged
LucaCappelletti94 merged 1 commit into
mainfrom
ci-single-workflow-run
Sep 23, 2026
Merged

LucaCappelletti94 merged 1 commit into
mainfrom
ci-single-workflow-run

Conversation

@LucaCappelletti94

Copy link
Copy Markdown
Contributor

Pushing a branch in this repo that has an open PR triggers the Rust workflow twice, once from push and once from pull_request, so the 10 jobs run as 20. audit.yml doubles the same way whenever Cargo.toml or Cargo.lock changes. The push trigger now matches only main and the release branches branch-*.

@LucaCappelletti94
LucaCappelletti94 added this pull request to stack #2549 September 22, 2026 19:52
@LucaCappelletti94
LucaCappelletti94 marked this pull request as ready for review September 22, 2026 19:52
@LucaCappelletti94

Copy link
Copy Markdown
Contributor Author

@alamb this PR stack should clear up the merging queue and fix some of the hanging we are experiencing.

on:
push:
branches-ignore:
- 'gh-readonly-queue/**'

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

why remove the merge queue avoidance? It seems like we should ignore those too?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The queue refs are still skipped, just implicitly now. The merge queue branches are named gh-readonly-queue/<base>/pr-<n>-<sha>, which matches neither main nor branch-*, so push no longer fires for them and the queue keeps getting its single run from merge_group.

Also, GitHub rejects branches and branches-ignore on the same event.

@LucaCappelletti94
LucaCappelletti94 added this pull request to the merge queue Sep 23, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to no response for status checks Sep 23, 2026
@LucaCappelletti94
LucaCappelletti94 added this pull request to the merge queue Sep 23, 2026
@github-merge-queue
github-merge-queue Bot removed this pull request from the merge queue due to no response for status checks Sep 23, 2026
@LucaCappelletti94
LucaCappelletti94 added this pull request to the merge queue Sep 23, 2026
Merged via the queue into main with commit c03018d Sep 23, 2026
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants